perm filename INSAN3.LSP[206,JMC] blob sn#070523 filedate 1973-11-07 generic text, type T, neo UTF8

(DEFPROP INSAN3FNS
 (INSAN3FNS PUZZA POO ZAP LOSE TER SUCCESSORS)
VALUE)

(DEFPROP PUZZA
 (PUZZA	(11210 22204 12204)
	(22204 41110
	       102044
	       44102
	       102044
	       44102
	       22204
	       41110
	       40504
	       42024
	       42101
	       12104
	       40504
	       42024
	       42101
	       12104
	       20604
	       41030
	       102041
	       14102
	       100444
	       44022
	       22201
	       11110)
	(100442	24022
		21201
		11050
		20602
		21030
		101041
		14042
		10444
		40422
		22021
		11101
		20424
		41021
		12041
		10502
		100444
		44022
		22201
		11110
		20604
		41030
		102041
		14102)
	(24024 41201
	       12050
	       100502
	       14044
	       40602
	       22030
	       101101
	       101104
	       44044
	       42202
	       22110
	       41204
	       42050
	       102102
	       24104
	       21024
	       41041
	       12042
	       20502
	       11044
	       40442
	       22022
	       21101))
VALUE)

(DEFPROP POO
 (LAMBDA (X) (COND ((EQ X (QUOTE R)) 1) ((EQ X (QUOTE W)) 2) ((EQ X (QUOTE G)) 4) (T 10)))
EXPR)

(DEFPROP ZAP
 (LAMBDA (V) (COND ((NULL V) 0) (T (PLUS (POO (CAR V)) (TIMES 20 (ZAP (CDR V)))))))
EXPR)

(DEFPROP LOSE
 (LAMBDA (P) NIL)
EXPR)

(DEFPROP TER
 (LAMBDA (P) (EQUAL (LENGTH P) 5))
EXPR)

(DEFPROP SUCCESSORS
 (LAMBDA(P)
  (MAPCHOOSE (FUNCTION (LAMBDA (X) (ZEROP (BOOLE 1 (CAR P) X))))
	     (FUNCTION (LAMBDA (X) (CONS (BOOLE 7 (CAR P) X) P)))
	     (CAR (NTH PUZZA (LENGTH P)))))
EXPR)